-
1 free calculus
Большой англо-русский и русско-английский словарь > free calculus
-
2 free calculus
Математика: свободное исчисление -
3 free calculus
мат. -
4 quantifier-free calculus
Большой англо-русский и русско-английский словарь > quantifier-free calculus
-
5 quantifier-free calculus
Математика: бескванторное исчислениеУниверсальный англо-русский словарь > quantifier-free calculus
-
6 quantifier-free calculus
English-Russian scientific dictionary > quantifier-free calculus
-
7 calculus
-
8 calculus-free cholecystitis
stone-free cholecystitis, calculus-free cholecystitisEnglish-Russian dictionary of medicine > calculus-free cholecystitis
-
9 free differential calculus
Математика: свободное дифференциальное исчислениеУниверсальный англо-русский словарь > free differential calculus
-
10 free differential calculus
English-Russian scientific dictionary > free differential calculus
-
11 quantifier-free
бескванторный - quantifier-free calculus - quantifier-free formula - quantifier-free inference - quantifier-free sentenceБольшой англо-русский и русско-английский словарь > quantifier-free
-
12 stone-free cholecystitis
stone-free cholecystitis, calculus-free cholecystitisEnglish-Russian dictionary of medicine > stone-free cholecystitis
-
13 бескванторное исчисление
Большой англо-русский и русско-английский словарь > бескванторное исчисление
-
14 свободное исчисление
Большой англо-русский и русско-английский словарь > свободное исчисление
-
15 language
1) язык || языковой2) машинный язык; набор символов ( машины)•- application-oriented language
- applicative language
- APT programming language
- APT-based language
- artificial language
- assembler language
- assembly language
- block diagram language
- calculus language
- classificatory indexing language
- command language
- communication-information language
- computer language
- context-free language
- context-sensitive language
- control language
- controlled language
- conversational programming language
- data definition language
- data description language
- data general language
- data general programming language
- data manipulation language
- data retrieval language
- data storage description language
- database control language
- database language
- database programming language
- definition language
- description indexing language
- description language
- descriptor indexing language
- DGL interpretative programming language
- documentary language
- domain-dependent language
- domain-independent language
- extended language
- extensible language
- formal language
- formalized language
- general-purpose language
- generic language
- geometry technology language
- global programming language
- graphics picture drawing language
- high-level language
- highly coded language
- hybrid language
- implementation language
- index retrieval language
- indexing language
- information language
- information processing language
- information retrieval language
- informational language
- information-algorithmic language
- interactive language
- interactive reader language
- intermediary language
- intermediate language
- interpretive language
- interrogation language
- ISO language
- job command language
- job control language
- language of science
- logical-information language
- machine control language
- machine language
- machinist's language
- manipulator-oriented language
- manufacturing application language
- meaning-representation language
- meta language
- native language
- natural language
- NC programming language
- numerical command language
- object description language
- object-oriented language
- operational performance analysis language
- plain language
- powerful programming language
- predicate calculus language
- predicate language
- predicate logic language
- problem-oriented language
- procedural language
- processing language
- process-oriented language
- production language
- production-rule language
- program language
- programming language
- query input language
- query language
- representation language
- retrieval language
- robotics language
- robot-programming language
- robot-specialized language
- rule-based programming language
- shop-oriented language
- Siman simulation language
- simulation language
- source language
- special interface programming language
- specification language
- state language
- structured query language
- switching language
- task description language
- task level language
- task-oriented language
- uncontrolled language
- very high level languageEnglish-Russian dictionary of mechanical engineering and automation > language
-
16 language
язык || языковой- action description language
- actual machine language
- agent programming language
- AI language
- Algol-like language
- algorithmical language
- algorithmic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assembly-output language
- assignment-free language
- behavioral language
- bidirectional language
- block-structured language
- Boolean-based language
- business definition language
- business-oriented language
- calculus-type language
- C-based language
- client-side language
- code language
- command language
- compiled language
- compiler language
- component definition language
- composite language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-programming language
- computer-sensitive language
- consensus language
- context-free language
- control language
- conversational language
- core language
- data definition language
- data description language
- data language
- data manipulation language
- data storage description language
- database language
- data-entry language
- data-flow language
- data-query language
- declarative language
- defining language
- descriptive language
- descriptor language
- design language
- device media control language
- direct execution language
- directly interpretable language
- Dyck language
- end-user language
- escape language
- evolutive language
- executive-control language
- executive language
- explicit language
- extensible language
- fabricated language
- finite state language
- flow language
- foreign language
- formalized language
- frame-based language
- freestanding language
- functional language
- generated language
- graphics language
- graph-oriented language
- hardware-description language
- hardware language
- higher-level language
- higher-order language
- host language
- human language
- human-oriented language
- human-readable language
- indexed language
- information retrieval language
- informational language
- information language
- inherently ambiguous language
- input language
- input/output language
- instruction language
- integrated language
- interactive language
- interim language
- intermediate language
- internal language
- interpreted language
- job control language
- job-oriented language
- knowledge representation language
- language pair
- letter-equivalent languages
- linear language
- linear-programming language
- list-processing language
- logic-type language
- low-level language
- machine language
- machine-dependent language
- machine-independent language
- machine-oriented language
- macroassembly language
- macro language
- macroinstruction language
- macroprogramming language
- man-to-computer language
- mathematical formular language
- memory management language
- mnemonic language
- modeling language
- native language
- natural language
- NC programming language
- nested language
- network-oriented language
- nonprocedural language
- numder language
- object language
- object modeling language
- object-oriented language
- one-dimensional language
- operator-oriented language
- original language
- page description language
- parallel language
- phrase structure language
- predicate language
- predicate logic-based language
- predicate logic language
- privacy language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- process control language
- production language
- program language
- programming language
- pseudo language
- pseudomachine language
- query language
- readable specification language
- reference language
- regular language
- relational language
- relational-type language
- representation language - requirements modeling language
- restricted language
- rule-based language
- ruly language
- schema language
- science-oriented language
- script language
- self-contained language
- semantic-formal language
- semiformal language
- sentential language
- serial language
- simulation language
- single-assignment language
- source language
- specialized language
- specification language
- stream-based language
- strict language
- structured programming language
- structured query language
- super language
- super-high-level language
- symbolic language
- symbolic programming language
- syntax language
- synthetic language
- system input language
- system language
- system-oriented language
- tabular language
- target language
- TC language
- time sharing language
- type-free language
- unified modeling language
- update language
- user language
- user-oriented language
- very-high-level languageEnglish-Russian dictionary of computer science and programming > language
-
17 FC
1) Компьютерная техника: File Control2) Медицина: fold change (кратность изменения), Food consumption, fibrosing colonopathy3) Американизм: Final Candidate, Foreign Country4) Спорт: Field Champion, Fight Club5) Военный термин: Fighter Command, Finance Code, Finance Corps, Fire Control, First Company, Flag Carrier, Forced Collaboration, Fractional Coverage, Friendly Capability, Fuze Committee, facilities construction, facilities contract, facilities control, field camera, field change, field circular, field command, file cabinet, filter center, fine control, fire clothing, fire code, fire commander, fire controlman, fixed camera, fixed coast, fixed cost, flexible connection, flight capsule, flight chart, flight control, flight crew, flying commission, fuel capacity, full capacity, function capabilities, functional check-out, functional code, fund code6) Техника: fail closed, failure cause, failure count, failure criterion, fast computer, fault coverage, flat crested wear, flow controller, fluorine to carbon ratio, focus converter, foot-candle, fronted computer, fuel cycle, functional characteristics, functional checkout, обозначение для береговых станций (МСЭ), обозначение радиовещательных станций, Frequency Converter7) Сельское хозяйство: field capacity, final control8) Шутливое выражение: Fillet Correlation9) Химия: Face Cell, Fragment Crystallization10) Строительство: "For Construction" (пометка на чертежах)11) Математика: Fourier Coefficient, коэффициент Фурье (Fourier constant), состоятельность в смысле Фишера (Fisher consistency), состоятельный в смысле Фишера (Fisher consistent), функциональное исчисление (functional calculus)12) Метеорология: Firm Condensation, Funnel Cloud13) Железнодорожный термин: Fulton County Railroad Incorporated14) Юридический термин: Female Corrective, Full Code, NAFO Fisheries Commission15) Бухгалтерия: Finance Charge, Financial Capital, fixed costs16) Автомобильный термин: fan control17) Геодезия: Fiducial Center18) Металлургия: Full Corners19) Оптика: фут-свечей20) Телекоммуникации: Frame Control21) Сокращение: Corvette, Fighter Control / Controller, Fleet Commander, Football Club, Foreign Currency, Free Church, fireclay, front connection, front-connected, frequency changer22) Текстиль: Fedora Core23) Физиология: Freeze Candidate24) Электроника: Field Cooling, Flip Chip, Forward Control, fault circuit25) Вычислительная техника: Feedback Control, face change, file compare, font cartridge, font change, Frame Control (FDDI, Token Ring), Federal Criteria (for information technology security, NIST, USA), смена типа шрифта, сравнение файлов26) Нефть: Finance Committee, field code, filter cake, float collar, full cost, глинистая корка (на стенке скважины), критерий отказа (failure creteria), муфта обсадной колонны с обратным клапаном (float collar), остаток на фильтре, полнота обнаружения неисправностей (fault coverage), причина отказа (failure cause)27) Биохимия: Free Cholesterol28) Транспорт: First Class, Flying Club, Fuel Cell29) Пищевая промышленность: Food Choice, Fried Chicken30) Фирменный знак: Fairchild31) Экология: fecal coliform32) СМИ: Fragile Classics, The French Connection (movie)33) Деловая лексика: File Card, Friedman Curve, иностранная валюта34) Бурение: фильтрационная корка (filter cake; на стенке скважины)35) Глоссарий компании Сахалин Энерджи: Finance Controller, Flow control, fail close36) Сетевые технологии: Fast Class, Fast Connection, Fibre Channel37) Полимеры: fixed carbon, furnace cooling38) Программирование: Fix Command, Flag Complex39) Автоматика: full classification40) Океанография: Flood Control41) Химическое оружие: found concentration42) Макаров: fire cock, flight computer, function code, furnace cool43) Расширение файла: Harvard Graphics 2.0 Spell checking dictionary44) SAP.тех. код функции45) Нефть и газ: fully closed46) Электротехника: faulted circuit, ferrite core, frequency conversion47) Имена и фамилии: Freddie Couples, Freddy Creel48) Общественная организация: First Candle49) Должность: Female Channeler, Foreign Correspondent, Freaky Clown50) Чат: Face Contact51) NYSE. Franklin Covey Company52) НАСА: Frequency Control53) Программное обеспечение: Fortran Compiler, Full Control54) Хобби: Fishing Club55) Единицы измерений: Federal Credits56) Базы данных: File Check -
18 FPC
1) Военный термин: Federal Port Controller, Federal Power Commission, facility power control, field press censorship, fixed-price contract, flight path control, for private circulation2) Техника: final processing center, fine particulate control, fixed paper capacitor, fixed point calculation, fixed program computer, flexible printed circuit, flight programmer computer, fuel pool cooling3) Шутливое выражение: Flaming Puppet Channel, Fucking Persian Canadian4) Математика: поправка для конечной совокупности (finite population correction)5) Экономика: free carrier named point6) Сокращение: Fast Pursuit Craft, Fish Protein Concentrate, fast patrol craft, Federal Power Commission (US)7) Электроника: Formal Propositional Calculus, (board) гибкая печатная плата8) Вычислительная техника: Floating Point Coprocessor, факсимильный персональный компьютер9) Транспорт: Fish Passage Center10) Деловая лексика: Fiscal Period Close11) Нефтегазовая техника Федеральная комиссия по энергетике (США, Federal Power Commission)12) Сетевые технологии: facsimile personal computer, факсимильный ПК13) Программирование: Four Packed Code14) Контроль качества: (Factory Production Control) Внутренний производственный контроль15) Безопасность: field per second16) Расширение файла: Floating Point Calculation17) Должность: Fire Protection Consulting18) NYSE. Florida Progress Corporation19) Программное обеспечение: Free Pascal Compiler20) Федеральное бюро расследований: Fingerprint Classification -
19 fC
1) Компьютерная техника: File Control2) Медицина: fold change (кратность изменения), Food consumption, fibrosing colonopathy3) Американизм: Final Candidate, Foreign Country4) Спорт: Field Champion, Fight Club5) Военный термин: Fighter Command, Finance Code, Finance Corps, Fire Control, First Company, Flag Carrier, Forced Collaboration, Fractional Coverage, Friendly Capability, Fuze Committee, facilities construction, facilities contract, facilities control, field camera, field change, field circular, field command, file cabinet, filter center, fine control, fire clothing, fire code, fire commander, fire controlman, fixed camera, fixed coast, fixed cost, flexible connection, flight capsule, flight chart, flight control, flight crew, flying commission, fuel capacity, full capacity, function capabilities, functional check-out, functional code, fund code6) Техника: fail closed, failure cause, failure count, failure criterion, fast computer, fault coverage, flat crested wear, flow controller, fluorine to carbon ratio, focus converter, foot-candle, fronted computer, fuel cycle, functional characteristics, functional checkout, обозначение для береговых станций (МСЭ), обозначение радиовещательных станций, Frequency Converter7) Сельское хозяйство: field capacity, final control8) Шутливое выражение: Fillet Correlation9) Химия: Face Cell, Fragment Crystallization10) Строительство: "For Construction" (пометка на чертежах)11) Математика: Fourier Coefficient, коэффициент Фурье (Fourier constant), состоятельность в смысле Фишера (Fisher consistency), состоятельный в смысле Фишера (Fisher consistent), функциональное исчисление (functional calculus)12) Метеорология: Firm Condensation, Funnel Cloud13) Железнодорожный термин: Fulton County Railroad Incorporated14) Юридический термин: Female Corrective, Full Code, NAFO Fisheries Commission15) Бухгалтерия: Finance Charge, Financial Capital, fixed costs16) Автомобильный термин: fan control17) Геодезия: Fiducial Center18) Металлургия: Full Corners19) Оптика: фут-свечей20) Телекоммуникации: Frame Control21) Сокращение: Corvette, Fighter Control / Controller, Fleet Commander, Football Club, Foreign Currency, Free Church, fireclay, front connection, front-connected, frequency changer22) Текстиль: Fedora Core23) Физиология: Freeze Candidate24) Электроника: Field Cooling, Flip Chip, Forward Control, fault circuit25) Вычислительная техника: Feedback Control, face change, file compare, font cartridge, font change, Frame Control (FDDI, Token Ring), Federal Criteria (for information technology security, NIST, USA), смена типа шрифта, сравнение файлов26) Нефть: Finance Committee, field code, filter cake, float collar, full cost, глинистая корка (на стенке скважины), критерий отказа (failure creteria), муфта обсадной колонны с обратным клапаном (float collar), остаток на фильтре, полнота обнаружения неисправностей (fault coverage), причина отказа (failure cause)27) Биохимия: Free Cholesterol28) Транспорт: First Class, Flying Club, Fuel Cell29) Пищевая промышленность: Food Choice, Fried Chicken30) Фирменный знак: Fairchild31) Экология: fecal coliform32) СМИ: Fragile Classics, The French Connection (movie)33) Деловая лексика: File Card, Friedman Curve, иностранная валюта34) Бурение: фильтрационная корка (filter cake; на стенке скважины)35) Глоссарий компании Сахалин Энерджи: Finance Controller, Flow control, fail close36) Сетевые технологии: Fast Class, Fast Connection, Fibre Channel37) Полимеры: fixed carbon, furnace cooling38) Программирование: Fix Command, Flag Complex39) Автоматика: full classification40) Океанография: Flood Control41) Химическое оружие: found concentration42) Макаров: fire cock, flight computer, function code, furnace cool43) Расширение файла: Harvard Graphics 2.0 Spell checking dictionary44) SAP.тех. код функции45) Нефть и газ: fully closed46) Электротехника: faulted circuit, ferrite core, frequency conversion47) Имена и фамилии: Freddie Couples, Freddy Creel48) Общественная организация: First Candle49) Должность: Female Channeler, Foreign Correspondent, Freaky Clown50) Чат: Face Contact51) NYSE. Franklin Covey Company52) НАСА: Frequency Control53) Программное обеспечение: Fortran Compiler, Full Control54) Хобби: Fishing Club55) Единицы измерений: Federal Credits56) Базы данных: File Check -
20 fc
1) Компьютерная техника: File Control2) Медицина: fold change (кратность изменения), Food consumption, fibrosing colonopathy3) Американизм: Final Candidate, Foreign Country4) Спорт: Field Champion, Fight Club5) Военный термин: Fighter Command, Finance Code, Finance Corps, Fire Control, First Company, Flag Carrier, Forced Collaboration, Fractional Coverage, Friendly Capability, Fuze Committee, facilities construction, facilities contract, facilities control, field camera, field change, field circular, field command, file cabinet, filter center, fine control, fire clothing, fire code, fire commander, fire controlman, fixed camera, fixed coast, fixed cost, flexible connection, flight capsule, flight chart, flight control, flight crew, flying commission, fuel capacity, full capacity, function capabilities, functional check-out, functional code, fund code6) Техника: fail closed, failure cause, failure count, failure criterion, fast computer, fault coverage, flat crested wear, flow controller, fluorine to carbon ratio, focus converter, foot-candle, fronted computer, fuel cycle, functional characteristics, functional checkout, обозначение для береговых станций (МСЭ), обозначение радиовещательных станций, Frequency Converter7) Сельское хозяйство: field capacity, final control8) Шутливое выражение: Fillet Correlation9) Химия: Face Cell, Fragment Crystallization10) Строительство: "For Construction" (пометка на чертежах)11) Математика: Fourier Coefficient, коэффициент Фурье (Fourier constant), состоятельность в смысле Фишера (Fisher consistency), состоятельный в смысле Фишера (Fisher consistent), функциональное исчисление (functional calculus)12) Метеорология: Firm Condensation, Funnel Cloud13) Железнодорожный термин: Fulton County Railroad Incorporated14) Юридический термин: Female Corrective, Full Code, NAFO Fisheries Commission15) Бухгалтерия: Finance Charge, Financial Capital, fixed costs16) Автомобильный термин: fan control17) Геодезия: Fiducial Center18) Металлургия: Full Corners19) Оптика: фут-свечей20) Телекоммуникации: Frame Control21) Сокращение: Corvette, Fighter Control / Controller, Fleet Commander, Football Club, Foreign Currency, Free Church, fireclay, front connection, front-connected, frequency changer22) Текстиль: Fedora Core23) Физиология: Freeze Candidate24) Электроника: Field Cooling, Flip Chip, Forward Control, fault circuit25) Вычислительная техника: Feedback Control, face change, file compare, font cartridge, font change, Frame Control (FDDI, Token Ring), Federal Criteria (for information technology security, NIST, USA), смена типа шрифта, сравнение файлов26) Нефть: Finance Committee, field code, filter cake, float collar, full cost, глинистая корка (на стенке скважины), критерий отказа (failure creteria), муфта обсадной колонны с обратным клапаном (float collar), остаток на фильтре, полнота обнаружения неисправностей (fault coverage), причина отказа (failure cause)27) Биохимия: Free Cholesterol28) Транспорт: First Class, Flying Club, Fuel Cell29) Пищевая промышленность: Food Choice, Fried Chicken30) Фирменный знак: Fairchild31) Экология: fecal coliform32) СМИ: Fragile Classics, The French Connection (movie)33) Деловая лексика: File Card, Friedman Curve, иностранная валюта34) Бурение: фильтрационная корка (filter cake; на стенке скважины)35) Глоссарий компании Сахалин Энерджи: Finance Controller, Flow control, fail close36) Сетевые технологии: Fast Class, Fast Connection, Fibre Channel37) Полимеры: fixed carbon, furnace cooling38) Программирование: Fix Command, Flag Complex39) Автоматика: full classification40) Океанография: Flood Control41) Химическое оружие: found concentration42) Макаров: fire cock, flight computer, function code, furnace cool43) Расширение файла: Harvard Graphics 2.0 Spell checking dictionary44) SAP.тех. код функции45) Нефть и газ: fully closed46) Электротехника: faulted circuit, ferrite core, frequency conversion47) Имена и фамилии: Freddie Couples, Freddy Creel48) Общественная организация: First Candle49) Должность: Female Channeler, Foreign Correspondent, Freaky Clown50) Чат: Face Contact51) NYSE. Franklin Covey Company52) НАСА: Frequency Control53) Программное обеспечение: Fortran Compiler, Full Control54) Хобби: Fishing Club55) Единицы измерений: Federal Credits56) Базы данных: File Check
Страницы
- 1
- 2
См. также в других словарях:
Calculus (dental) — Heavy staining and calculus deposits exhibited on the lingual surface of the mandibular anterior teeth, along the gumline. In dentistry, calculus or tartar is a form of hardened dental plaque. It is caused by the continual accumulation of… … Wikipedia
Calculus — A stone, as in the urinary tract. Also, the calcium salt deposits on the teeth. The word calculus in Latin means a pebble. Pebbles were once used for counting, from which came the mathematical field of calculus. A urinary calculus is a pebble in… … Medical dictionary
Free Lie algebra — In mathematics, a free Lie algebra, over a given field K, is a Lie algebra generated by a set X, without any imposed relations. Contents 1 Definition 2 Universal enveloping algebra 3 Hall sets … Wikipedia
Free variables and bound variables — In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation that specifies places in an expression where substitution may take place. The idea is related to … Wikipedia
free variable — Logic. (in functional calculus) a variable occurring in a sentential function and not within the scope of any quantifier containing it. Cf. bound variable. * * * … Universalium
free variable — noun : a variable whose range is not restricted by quantification * * * Logic. (in functional calculus) a variable occurring in a sentential function and not within the scope of any quantifier containing it. Cf. bound variable … Useful english dictionary
π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) … Wikipedia
Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the … Wikipedia
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia
Modal μ-calculus — In theoretical computer science, the modal μ calculus (also μ calculus, but this can have a more general meaning) is an extension of propositional modal logic (with many modalities) by adding a least fixpoint operator μ and a greatest fixpoint… … Wikipedia
